2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
Automated deduction -- CADE-21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007 : proceedings (Lecture Notes in Artificial Intelligence 4603)
Автор:
Frank Pfenning
Размер книги: 5.24 Mb
Term Rewriting and Applications, 17 conf., RTA 2006
Автор:
Frank Pfenning
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 4.02 Mb
Logic Programming and Automated Reasoning: 5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings
Автор:
Frank Pfenning
Размер книги: 3.67 Mb
Generative Programming and Component Engineering: Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003, Proceedings
Автор:
Frank Pfenning
, Автор:
Yannis Smaragdakis
Размер книги: 4.29 Mb
Automated Deduction - CADE-21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings
Автор:
Frank Pfenning
Размер книги: 4.55 Mb
